53 results
Alzheimer Testing at Silver Years
-
- Journal:
- Cambridge Quarterly of Healthcare Ethics / Volume 7 / Issue 3 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 294-307
-
- Article
- Export citation
Alan Rose. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 (1969), pp. 587–591.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- June 1974
-
- Article
- Export citation
Karel Čulík II. n-ary grammars and the description of mapping of languages. English with English and Czech summaries. Kybernetika (Prague), vol. 6 (1970), pp. 99–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
- Print publication:
- September 1973
-
- Article
- Export citation
F. A. Kabakov. O modélirovanii po réalizuémosti psévdobulévyh algébr. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 16–18. - F. A. Kabakov. On modelling of pseudo-Boolean algebras by realizability. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 562–564.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
- Print publication:
- September 1972
-
- Article
- Export citation
Karl Schröter. Über den Zusammenhang der Implikationsaxiomen vollständiger Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 173–176. - Karl Schröter. Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 18–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 583
- Print publication:
- December 1970
-
- Article
- Export citation
V. A. Ánkov. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 796–798. - V. A. Jankov. Some superconstructive propositional calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1103–1105. - V. A. Ánkov. O réalizuémyh formulah logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1035–1037. - V. A. Jankov. Realizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1146–1148. - V. A. Ánkov. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1293–1294. - V. A. Jankov. The relationship between deducibility in the intuitionist propositional calculus and finite implicational structures. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1203–1204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
- Print publication:
- March 1970
-
- Article
- Export citation
M. M. Kipnis. Ob odnom svojstvé propozicionaľnyh formul. Doklady Akadémii Nauk SSSR, vol. 174 (1967), pp. 277–278. - M. M. Kipnis. A property of prepositional formulas. English translation of the preceding by S. Walker. Soviet mathematics, vol. 8 no. 3 (1967), pp. 620–622.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- January 1969
-
- Article
- Export citation
John Riser. A Gentzen-type calculus of sequents for single-operator propositional logic. The Journal of symbolic logic, vol. 32 (1967), pp. 75–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- 26 April 1968
-
- Article
- Export citation
David Nelson. Non-null implication. The Journal of symbolic logic, vol. 31 (1966). pp. 562–572.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- 26 April 1968
-
- Article
- Export citation
J. A. Faris. Truth-functional logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, vi + 122 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
- Print publication:
- March 1966
-
- Article
- Export citation
A Characterization of Machine Mappings
-
- Journal:
- Canadian Journal of Mathematics / Volume 18 / 1966
- Published online by Cambridge University Press:
- 20 November 2018, pp. 381-388
- Print publication:
- 1966
-
- Article
-
- You have access
- Export citation
Alan Rose. Some formalisations of ℵ0-valued prepositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 204–209.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
- Print publication:
- December 1964
-
- Article
- Export citation
Alan Rose. Sur un ensemble indépendent de foncteurs primitifs pour le calcul propositionnel, lequel constitue son propre dual. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 4089–4091. - Alan Rose. Nouvelle formalisation du calcul propositionnel bivalent dont les foncteurs primitifs forment un ensemble qui constitue son propre dual. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 4246–4248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
- Print publication:
- December 1964
-
- Article
- Export citation
Storrs McCall. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 (1962), pp. 120–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
- Print publication:
- December 1964
-
- Article
- Export citation
Nicholas Rescher. Quasi-truth-functional systems of prepositional logic. The journal of symbolic logic, vol. 27 (for 1962, pub. 1963), pp. 1–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-51
- Print publication:
- March 1964
-
- Article
- Export citation
Thomas W. Scharle. A diagram of the functors of the two-valued propositional calculus. Notre Dame journal of formal logic, vol. 3 (1962), pp. 243–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1963
-
- Article
- Export citation
Klaus Härtig. Zur Axiomatisierung der Nicht-Identitäten des Aussagenkalküls, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 240–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
- Print publication:
- September 1962
-
- Article
- Export citation
Gr. C. Moisil. Sur la logique à trois valeurs de Łukasiewicz. Analale Universitaţii Bucureşti, seria Acta logica, vol. 5 (1962), pp. 103–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
- Print publication:
- September 1962
-
- Article
- Export citation
Gr. C. Moisil. Sur les idéaux des algèbres Łukasiewicziennes trivalents. Analele Universităţii “C. I. Parhon”, seria Acta logica, vol. 3 (1960), pp. 83–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
- Print publication:
- September 1962
-
- Article
- Export citation
Hugues Leblanc. An extension of the equivalence calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 104–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
- Print publication:
- June 1962
-
- Article
- Export citation